/**
 * @brief Serial driver header
 * @author Gilad Avidov
 */
#ifndef SERIAL_H_INCLUDED
#define SERIAL_H_INCLUDED

char getchar ();
void putchar (char c);

void serial_init();

/* is not depend on the scheduler */
char getchar_no_sched();

#endif // SERIAL_H_INCLUDED
